/**
 * 
 */
package uk.ac.manchester.tewpl.iceiface.client.model;

import java.util.Collection;
import java.util.Map;


/**
 * @author roland
 *
 */
public class KBClassModel extends KBResourceModel {

	/**
	 * 
	 */
	private static final long serialVersionUID = 1L;
	public static final String MEMBER_COUNT = "membercount";
	public static final String OBJECT_PROPERTIES = "objectProperties";
	public static final String RESTRICTIONS = "restrictions";
	
	//dummy fields for GWT
	private KBObjectPropertyModel dummy1;
	private KBRestrictionModel dummy2;
	
	public Integer getMemberCount() {
		return get(MEMBER_COUNT, 0);
	}
	
	
	public void setMemberCount(Integer memberCount) {
		set(MEMBER_COUNT, memberCount);
	}

	public Collection<KBObjectPropertyModel> getObjectProperties(){
		return get(OBJECT_PROPERTIES);
	}
	
	public void setObjectProperties(Collection<KBObjectPropertyModel> objProps) {
		set(OBJECT_PROPERTIES, objProps);
	}
	
	
	
	public Map<KBObjectPropertyModel, Collection<KBRestrictionModel>> getRestrictions(){
		return get(RESTRICTIONS);
	}
	
	public void setRestrictions(Map<KBObjectPropertyModel, Collection<KBRestrictionModel>> restrictions){
		set(RESTRICTIONS, restrictions);
	}
	

}
